home *** CD-ROM | disk | FTP | other *** search
/ CU Amiga Super CD-ROM 22 / CU Amiga Magazine's Super CD-ROM 22 (1998)(EMAP Images)(GB)[!][issue 1998-05].iso / PowerPC / Programming / PPCsiod / sources / gc.c < prev    next >
Encoding:
C/C++ Source or Header  |  1993-09-25  |  5.5 KB  |  213 lines
  1. /* Scheme In One Define.
  2.  
  3. The garbage collector, the name and other parts of this program are
  4.  
  5.  *                     COPYRIGHT (c) 1989 BY                              *
  6.  *      PARADIGM ASSOCIATES INCORPORATED, CAMBRIDGE, MASSACHUSETTS.       *
  7.  
  8. Conversion  to  full scheme standard, characters, vectors, ports, complex &
  9. rational numbers, and other major enhancments by
  10.  
  11.  *      Scaglione Ermanno, v. Pirinoli 16 IMPERIA P.M. 18100 ITALY        * 
  12.  
  13. Permission  to use, copy, modify, distribute and sell this software and its
  14. documentation  for  any purpose and without fee is hereby granted, provided
  15. that  the  above  copyright  notice appear in all copies and that both that
  16. copyright   notice   and   this  permission  notice  appear  in  supporting
  17. documentation,  and that the name of Paradigm Associates Inc not be used in
  18. advertising or publicity pertaining to distribution of the software without
  19. specific, written prior permission.
  20.  
  21. PARADIGM  DISCLAIMS  ALL WARRANTIES WITH REGARD TO THIS SOFTWARE, INCLUDING
  22. ALL  IMPLIED  WARRANTIES  OF MERCHANTABILITY AND FITNESS, IN NO EVENT SHALL
  23. PARADIGM  BE  LIABLE  FOR ANY SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR
  24. ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER
  25. IN  AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT
  26. OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
  27.  
  28. */
  29.  
  30. #include <stdio.h>
  31. #include <string.h>
  32. #include <ctype.h>
  33. #include <setjmp.h>
  34. #include <signal.h>
  35. #include <math.h>
  36.  
  37. #include "siod.h"
  38.  
  39. void gc_for_newcell(void)
  40. {long flag;
  41.  if (errjmp_ok == 0) err("Cannot do a GC",NIL,ERR_MEM);;
  42.  flag = no_interrupt(1);
  43.  errjmp_ok = 0;
  44.  gc_mark_and_sweep();
  45.  errjmp_ok = 1;
  46.  no_interrupt(flag);
  47.  if NULLP(freelist) err("ran out of storage",NIL,ERR_MEM);}
  48.  
  49. void gc_mark_and_sweep(void)
  50. {LISP stack_end;
  51.  gc_ms_stats_start();
  52.  /* This assumes that all registers are saved into the jmp_buff */
  53.  setjmp(save_regs_gc_mark);
  54.  mark_locations((LISP *) save_regs_gc_mark,
  55.         (LISP *) ((char *) save_regs_gc_mark) + sizeof(save_regs_gc_mark));
  56.  mark_protected_registers();
  57.  mark_locations((LISP *) stack_start_ptr,
  58.         (LISP *) &stack_end);
  59.  gc_sweep_array();
  60.  gc_sweep();
  61.  gc_ms_stats_end();}
  62.  
  63. void gc_ms_stats_start(void)
  64. {gc_rt = myruntime();
  65.  gc_cells_collected = 0;
  66.  if (VCELL(sym_gc_mode)==truth)
  67.    put_st("\n[starting GC]\n");}
  68.  
  69. void gc_ms_stats_end(void)
  70. {gc_rt = myruntime() - gc_rt;
  71.  gc_time_taken = gc_time_taken + gc_rt;
  72.  if (VCELL(sym_gc_mode)==truth)
  73.    {sprintf(tkbuffer,"[GC took %g cpu milliseconds, %ld cells collected]\n",
  74.       gc_rt,
  75.       gc_cells_collected);
  76.    put_st(tkbuffer);}}
  77.  
  78. void gc_mark(LISP ptr)
  79. {int i,size;
  80.  gc_mark_loop:
  81.  if NULLP(ptr) return;
  82.  if ((*ptr).gc_mark) return;
  83.  (*ptr).gc_mark = 1;
  84.  switch ((*ptr).type)
  85.    {case tc_flonum:
  86.     case tc_intnum:
  87.     case tc_ratnum:
  88.     case tc_compnum:
  89.       break;
  90.     case tc_char:
  91.       break;
  92.     case tc_closure:
  93.     case tc_fluidclosure:
  94.     case tc_rec:
  95.     case tc_environment:
  96.     case tc_cons:
  97.       gc_mark(CAR(ptr));
  98.       ptr = CDR(ptr);
  99.       goto gc_mark_loop;
  100.     case tc_macro:
  101.     case tc_symbol:
  102.       ptr = TCELL(ptr);
  103.       goto gc_mark_loop;
  104.     case tc_vector:
  105.       size = VECSIZE(ptr);
  106.       for(i=0;i<size;i++)
  107.          gc_mark(VECTOR(ptr)[i]); 
  108.     case tc_subr_0:
  109.     case tc_subr_1:
  110.     case tc_subr_2:
  111.     case tc_subr_3:
  112.     case tc_lsubr:
  113.     case tc_fsubr:
  114.     case tc_msubr:
  115.     case tc_string:
  116.     case tc_port:
  117.       return;
  118.     default:
  119.       err("BUG IN GARBAGE COLLECTOR gc_mark",ptr,ERR_GEN);}}
  120.  
  121. void mark_protected_registers(void)
  122. {struct gc_protected *reg;
  123.  LISP *location;
  124.  long j,n;
  125.  for(reg = protected_registers; reg; reg = (*reg).next)
  126.    {location = (*reg).location;
  127.     n = (*reg).length;
  128.     for(j=0;j<n;++j)
  129.       gc_mark(location[j]);}}
  130.  
  131. void mark_locations(LISP *start,LISP *end)
  132. {LISP *tmp;
  133.  long n;
  134.  if (start > end)
  135.    {tmp = start;
  136.     start = end;
  137.     end = tmp;}
  138.  n = end - start;
  139.  mark_locations_array(start,n);}
  140.  
  141. void mark_locations_array(LISP x[],long n)
  142. {int j;
  143.  LISP p;
  144.  for(j=0;j<n;++j)
  145.    {p = x[j];
  146.     if ((p >= heap_org) &&
  147.     (p < heap_end) &&
  148.     (((((char *)p) - ((char *)heap_org)) % sizeof(struct obj)) == 0) &&
  149.     NTYPEP(p,tc_free_cell))
  150.       gc_mark(p);}}
  151.  
  152. void gc_sweep_array(void)
  153. {LISP *ptr,*end,*z,l;
  154.  end = fixarray+fixarray_dim;
  155.  for(ptr = fixarray; ptr < end; ptr++)
  156.      for(l=*ptr,z = ptr;CONSP(l);l = CDR(l))
  157.         {if(((*CAR(l)).gc_mark) == 0)
  158.            *z = CDR(l);
  159.          else
  160.            {(*l).gc_mark=1;
  161.             z = &CDR(*z);}}
  162.  end = chararray+256;
  163.  for(ptr = chararray; ptr < end; ptr++)
  164.    if(NNULLP(*ptr))
  165.      if ((**ptr).gc_mark == 0)
  166.        *ptr=NIL;}
  167.  
  168. void gc_sweep(void)
  169. {LISP ptr,end,nfreelist;
  170.  long n;
  171.  end = heap_end;
  172.  n = 0;
  173.  nfreelist = freelist;
  174.  for(ptr=heap_org; ptr < end; ++ptr)
  175.    if ((*ptr).gc_mark == 0)
  176.         switch((*ptr).type)
  177.          {case tc_free_cell:
  178.         break;
  179.           case tc_symbol:
  180.           case tc_string:
  181.             if(SNAME(ptr)!=SSMALL(ptr))
  182.                free(SNAME(ptr));
  183.         ++n;
  184.         (*ptr).type = tc_free_cell;
  185.         CDR(ptr) = nfreelist;
  186.         nfreelist = ptr;
  187.         break;
  188.           case tc_port:
  189.             fclose(PORTPTR(ptr));
  190.         ++n;
  191.         (*ptr).type = tc_free_cell;
  192.         CDR(ptr) = nfreelist;
  193.         nfreelist = ptr;
  194.         break;
  195.           case tc_vector:
  196.             free(VECTOR(ptr));
  197.         ++n;
  198.         (*ptr).type = tc_free_cell;
  199.         CDR(ptr) = nfreelist;
  200.         nfreelist = ptr;
  201.         break;
  202.       default:
  203.         ++n;
  204.         (*ptr).type = tc_free_cell;
  205.         CDR(ptr) = nfreelist;
  206.         nfreelist = ptr;
  207.         break;}
  208.    else
  209.      (*ptr).gc_mark = 0;
  210.  gc_cells_collected = n;
  211.  freelist = nfreelist;}
  212.  
  213.